compile_to_c [options] <Root-Class> <Root-Procedure> [*.c] [*.o] [-l*]

Command `compile_to_c' is the SmallEiffel ANSI C code generator.
Usualy this command is automatically called by command `compile'
but you can use it separately to produce C code.

Command `compile_to_c' must have at least two arguments to indicate
the starting execution point of the system.
Thus, execution will start in <Root-Procedure> of <Root-Class>.

Command `compile_to_c' produce all needed C files and also produce
one command file. 

1- Options to select Eiffel compilation mode -
There are 8 modes of compilation given by the following
options names: -debug_check -all_check -loop_check -invariant_check 
-ensure_check -require_check -no_check and -boost option.
Only one mode can be selected for the whole system to compile.
Option -all_check is the default one.

-boost : Compilation mode which includes all optimization. There is
   no target's existence test, no system-level validity checking.
   Some routines are inlined. No code is generated to get an execution
   trace in case of failure. There is no assertion check.
-no_check : Compilation mode in which no Eiffel assertion is checked.
   The target's existence test is performed. Some code is generated
   for the system-level validity checking, and to produce an execution
   trace (an execution stack is managed).
   There is no inlining and no assertion check.
-require_check : Compilation mode in which Eiffel preconditions
   are checked. The generated code is similar to the previous one, 
   but also includes code to test preconditions (require).
-ensure_check : The generated code is similar to the previous one, 
   but also includes code to test postconditions (ensure).
-invariant_check : The generated code is similar to the previous one, 
   but also includes code to test class invariant.
-loop_check : The generated code is similar to the previous one, 
   but also includes code to test loop variant and loop invariant.
-all_check : The default mode. The generated code is similar to the
   previous one, but also includes code for the check instruction.
-debug_check : The generated code is similar to the previous one, 
   but also includes code for the debug instruction. 
   All debug are checked regardless of the string optional key.

2- Others options -

-cc : Call cc instead of gcc which is the default.

-no_strip : Do not produce a strip in the command file.

-o <output_name> : same meaning as -o option of the C compiler.

3- Options passed to the C compiler -
Remaining options, *.c files, *.o files, library -l* are passed
to the C compiler/linker.

4- The Environment variable `SmallEiffel' is used to indicate
the place on the disk where the SmallEiffel directory is.
This variable also indicate the system used. When `SmallEiffel' 
value contains a character is '/', the compiler assume it is a 
UNIX like system.


   
